Axioms of set theory - PDFSEARCH.IO - Document Search Engine

Axioms of set theory
Results: 55

#	Item
41	Is the Continuum Hypothesis a definite mathematical problem? DRAFT[removed]For: Exploring the Frontiers of Incompleteness (EFI) Project, Harvard[removed] Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2011-09-24 21:28:21 Determinacy Large cardinals Axioms of set theory Constructible universe Proof theory Continuum hypothesis Axiom of choice Zermelo–Fraenkel set theory Axiom of determinacy Mathematical logic Set theory Mathematics
42	D:h800tsmelo-Fraenkelmelo-FraenkelSetTheory.wpd Add to Reading List Source URL: math.sfsu.edu Language: English - Date: 2008-04-27 17:44:03 Z notation Axioms of set theory Set theory Predicate logic Urelements Zermelo–Fraenkel set theory S Constructible universe Peano axioms Mathematical logic Mathematics Logic
43	Feferman on the Indefiniteness of CH Peter Koellner Add to Reading List Source URL: logic.harvard.edu Language: English - Date: 2011-10-06 07:47:45 Continuum hypothesis Forcing Infinity Zermelo–Fraenkel set theory Solomon Feferman Peano axioms Large cardinal Axiom Conjecture Mathematical logic Mathematics Logic
44	Notre Dame Journal of Formal Logic Volume 46, Number 1, 2005 Add to Reading List Source URL: kleene.ss.uci.edu Language: English - Date: 2005-02-01 20:35:14 Z notation Quantification Functions and mappings Peano axioms Logicism S Zermelo–Fraenkel set theory Function Constructible universe Mathematical logic Mathematics Logic
45	Constructive set theory – an overview Benno van den Berg Utrecht University Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2012-09-10 05:26:08 Z notation Constructive set theory Intuitionism Zermelo–Fraenkel set theory Set theory Axiom of choice Axioms of set theory Constructible universe Ordinal analysis Mathematical logic Logic Mathematical constructivism
46	The 30 Year Horizon M anuel Bronstein James Davenport Add to Reading List Source URL: axiom.axiom-developer.org Language: English - Date: 2012-06-11 00:44:47 Logic Function Type theory Algorithm Axioms of set theory Mathematics Axiom Mathematical logic
47	Believing the Axioms. II Penelope Maddy The Journal of Symbolic Logic, Vol. 53, No. 3. (Sep., 1988), pp[removed]. Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2007-11-05 14:40:27 Axiom of determinacy Borel determinacy theorem Axiom of choice Axiom of projective determinacy Zermelo–Fraenkel set theory L Descriptive set theory Forcing Continuum hypothesis Mathematical logic Set theory Determinacy
48	Believing the Axioms. I Penelope Maddy The Journal of Symbolic Logic, Vol. 53, No. 2. (Jun., 1988), pp[removed]. Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2007-11-05 14:40:52 Axioms of set theory Z notation Urelements Cardinal numbers Infinity Zermelo set theory Zermelo–Fraenkel set theory S Axiom of choice Mathematical logic Set theory Mathematics
49	PDF Document Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 12:56:02 Axioms of set theory Ordinal numbers Proof theory Z notation Constructive set theory Axiom schema of replacement Ordinal analysis Kripke–Platek set theory Constructible universe Mathematical logic Mathematics Logic
50	PDF Document Add to Reading List Source URL: www.math.dartmouth.edu Language: English - Date: 2006-05-31 15:44:59 Cardinal numbers Axiom of choice Function Finite set Axioms of set theory Mathematical proof Axiom schema of replacement Cantor–Bernstein–Schroeder theorem Mathematics Mathematical logic Set theory